SysPal: System-guided Pattern Locks for Android Geumhwan Cho1 , Jun Ho Huh2 , Junsung Cho1 , Seongyeol Oh1 , Youngbae Song1 , Hyoungshick Kim1 1 Department of Computer Science and Engineering, Sungkyunkwan University, So

Source URL: www.ieee-security.org

• Computing
• Computer architecture
• System software
• Recall
• Android
• Pattern
• Short-term memory
• Student's t-test

Recursively Cautious Congestion Control Radhika Mittal, Justine Sherry, and Sylvia Ratnasamy, University of California, Berkeley; Scott Shenker, University of California, Berkeley and International Computer Science Insti

Source URL: www.usenix.org

• Computing
• Flow control
• Network architecture
• Network protocols
• TCP congestion control
• Data transmission
• Network performance
• Transmission Control Protocol
• Packet loss
• TCP window scale option
• CUBIC TCP
• Transport layer

Noise-contrastive estimation: A new estimation principle for unnormalized statistical models Michael Gutmann Dept of Computer Science and HIIT, University of Helsinki

Source URL: proceedings.mlr.press

• Estimation theory
• Econometrics
• Statistical inference
• Estimator
• Probability distribution fitting
• M-estimators
• Maximum likelihood estimation
• Fisher information
• Gamma distribution
• Maximum spacing estimation

Tap-Tap and Pay (TTP): Preventing the Mafia Attack in NFC Payment Maryam Mehrnezhad, Feng Hao, and Siamak F. Shahandashti School of Computing Science, Newcastle University, Newcastle upon Tyne, United Kingdom {m.mehrnezh

Source URL: homepages.cs.ncl.ac.uk

• Economy
• Money
• Finance
• Mobile payments
• Payment systems
• ISO standards
• Mobile telecommunications
• Online payments
• Near-field communication
• EMV
• Apple Pay
• Payment terminal

Testing a Saturation-Based Theorem Prover: Experiences and Challenges Giles Reger1 , Martin Suda2 , and Andrei Voronkov1,2 1 School of Computer Science, University of Manchester, UK

Source URL: www.cs.man.ac.uk

• Theoretical computer science
• Formal methods
• Mathematical logic
• School of Computer Science
• University of Manchester
• Mathematics
• Logic in computer science
• Automated theorem proving
• Formal verification
• SPASS
• Andrei Voronkov
• Vampire
• First-order logic

Symbolic Verification and Strategy Synthesis for Linearly-Priced Probabilistic Timed Automata Marta Kwiatkowska1 , Gethin Norman2 , and David Parker3 1 Department of Computer Science, University of Oxford, Oxford, UK

Source URL: qav.comlab.ox.ac.uk

• Dynamic programming
• Markov decision process
• Stochastic control
• Symbol
• Timed automaton
• Probability and statistics
• Probability
• Approximation algorithms
• Computational complexity theory

Building Power Consumption Models from Executable Timed I/O Automata Specifications ∗ Benoît Barbot , Marta Kwiatkowska, Alexandru Mereacre and Nicola Paoletti Department of Computer Science, University of Oxford, UK

Source URL: qav.comlab.ox.ac.uk

Advances and Challenges of Quantitative Verification and Synthesis for Cyber-Physical Systems Marta Kwiatkowska Department of Computer Science, University of Oxford, UK Abstract—We are witnessing a huge growth of cyber

Source URL: qav.comlab.ox.ac.uk

• Model checkers
• Software engineering
• Formal methods
• Theoretical computer science
• Software quality
• Computing
• PRISM model checker
• Model checking
• Formal verification
• Markov chain
• Stochastic
• Reliability engineering

Ritwika Ghosh phone : (+email : Profile : I am a first year graduate student in Computer Science at the University of Illinois, Urbana-Champaign, interested in formal methods, and appl

Source URL: web.engr.illinois.edu

• Mathematical software
• Application software
• Software
• Theoretical computer science
• Formal methods
• Logic in computer science
• Discrete mathematics
• Verification
• Quantifier elimination
• Formal verification
• Model checking
• Computer science

Learning Outcomes for Master of Science (MSc) in Corporate Finance National Qualification Framework for Iceland MSc in Corporate Finance at Reykjavik University MSc in Corporate Finance is a 90 ECTS-credit master’s deg

Source URL: en.ru.is

• Education
• Master's degree
• Finance
• Academic degree
• Master of Science
• Research
• Corporate finance
• Science
• Human behavior
• Management education
• Corporate governance
• European Qualifications Framework